# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|<IMG
 STYLE="" SRC="|."$dir".q|img1.png"
 ALT="\begin{figure*}%
\UseComputerModernTips
{\let\ =\cr \tabskip=...
...ert} &amp;\DT{&#187;\vert} &amp;\DT{\vert&lt;} \\\\
\crcr}\bigskip }??=[f.cmdir]
\end{figure*}">|; 
$key = q/displaystyledocode;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.38ex; vertical-align: 176.85ex; " SRC="|."$dir".q|img4.png"
 ALT="$\displaystyle \docode$">|; 
$key = q/{code}xy*{}ar@{*{UseComputerModernTipsdir{<}}<comment_mark>39-*{NoComputerModernTipsdir{>}}}(20,5)*{}xy{code};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 0.14ex; vertical-align: 178.23ex; " SRC="|."$dir".q|img3.png"
 ALT="\begin{code}
\xy*{} \ar
@{*{\UseComputerModernTips\dir{&lt;}}%
-*{\NoComputerModernTips\dir{&gt;}}}
(20,5)*{} \endxy
\end{code}">|; 
$key = q/{defs1}|UseComputerModernTips|cr|NoComputerModernTips|cr{defs1};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.38ex; vertical-align: 164.26ex; " SRC="|."$dir".q|img2.png"
 ALT="\begin{defs1}
\vert\UseComputerModernTips\vert \cr
\vert\NoComputerModernTips\vert \cr
\end{defs1}">|;